$\forall$$w$:World, $e$, ${\it e'}$:E. d($e$;${\it e'}$) $\in$ $\mathbb{N}$